The ordinal generated by an ordinal grammar is computable
نویسندگان
چکیده
منابع مشابه
FUZZY NEXUS OVER AN ORDINAL
In this paper, we define fuzzy subnexuses over a nexus $N$. Define and study the notions of the prime fuzzy subnexuses and the fractionsinduced by them. Finally, we show that if S is a meetclosed subset of the set Fsub(N), of fuzzy subnexuses of a nexus N, andh= ⋀S ϵ S, then the fractions S^-1 N and h^-1 N are isomorphic as meet-semilattices.
متن کاملOrdinal analysis by transformations
The technique of using infinitary rules in an ordinal analysis has been one of the most productive developments in ordinal analysis. Unfortunately, one of the most advanced variants, the Buchholz Ωμ-rule, does not apply to systems much stronger than Π1-comprehension. In this paper, we propose a new extension of the Ω rule using game-theoretic quantifiers. We apply this to a system of inductive ...
متن کاملAn Ordinal Minimax Theorem
One of the earliest solution concepts considered in game theory are saddle points, combinations of actions such that no player can gain by deviating (see, e.g., von Neumann and Morgenstern, 1947). In two-player zero-sum games, every saddle point happens to coincide with the optimal outcome both players can guarantee in the worst case and thus enjoys a very strong normative foundation. Unfortuna...
متن کاملfuzzy nexus over an ordinal
in this paper, we define fuzzy subnexuses over a nexus $n$. define and study the notions of the prime fuzzy subnexuses and the fractionsinduced by them. finally, we show that if s is a meetclosed subset of the set fsub(n), of fuzzy subnexuses of a nexus n, andh= ⋀s ϵ s, then the fractions s^-1 n and h^-1 n are isomorphic as meet-semilattices.
متن کاملModeling Paired Ordinal Response Data
About 25 years ago, McCullagh proposed a method for modeling univariate ordinal responses. After publishing this paper, other statisticians gradually extended his method, such that we are now able to use more complicated but efficient methods to analyze correlated multivariate ordinal data, and model the relationship between these responses and host of covariates. In this paper, we aim to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2019
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2019.04.016